Integrated Structured Analysis and Formal Specification Techniques
نویسندگان
چکیده
منابع مشابه
Semi-Formal and Formal Specification Techniques for Software Systems
s in order of presentations at Dagstuhl seminar: Hartmut Ehrig Towards a Formal Model and a Component Concept for the Integration Paradigm . . . . . . . . . . . . . . . . . 1 Martin Große-Rhode Integration of Heterogeneous Software Specifications based on Transformation Systems . . . . . . . . . . . 1 Stefan Gruner A New Tool for the Simulation And Visualization of Distributed Algorithms . . . ...
متن کاملFormal Specification of Gateways in Integrated Architectures
Complex embedded computer systems can encompass multiple application subsystems, such as a multimedia, a powertrain, a comfort and a safety subsystem in the in-vehicle electronic system of a typical premium car. Information exchanges between these application subsystems are essential to realize composite services that involve more than one application subsystem and to reduce redundant computati...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملHazard Analysis in Formal Specification
Action systems have proven their worth in the design of safety-critical systems. The approach is based on a rm mathematical foundation within which the reasoning about the correctness and behaviour of the system under development is carried out. Hazard analysis is a vital part of the development of safety-critical systems. The results of the hazard analysis are semantically di erent from the sp...
متن کاملSafety Analysis in Formal Specification
Formal methods give us techniques to specify the functionality of a system, to verify its correctness or to develop the system stepwise from an abstract specification to its implementation. These aspects are important when designing safety-critical systems. Safety analysis is a vital part of the development of such systems. However, formal methods seldom interface well with the more informal te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1992
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/35.6.600